Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
003077 | Matthias Daum [Allemagne] ; Norbert W. Schirmer [Allemagne] ; Mareike Schmidt [Allemagne] | From Operating-System Correctness to Pervasively Verified Applications |
This area was generated with Dilib version V0.6.33. |